机译:使用对象UML模型和域本体审查自然语言中的要求规范
机译:通过SBVR从软件需求规范生成的UML类模型的自然语言处理方法
机译:通过SBVR从软件需求规范产生的UML类模型的自然语言处理方法(Vol 27,11.101142 / S0218213018500276,2018)
机译:从自然语言需求规范为嵌入式实时系统生成可执行测试平台
机译:使用两级语法和上下文自然语言处理,将需求文档自动转换为可执行的正式规范。
机译:生物化学系统规范和分析的可执行生物化学空间
机译:从自然语言需求规范为嵌入式实时系统生成可执行测试平台